MAYBE UNSAT "/tmp/SMTS11641-11" (line 1, column 8): The smt solver ran in a timeout.